Les programmes d’incitation à la retraite anticipée (PIRA) : stratégies des entreprises et options individuelles

La quantification de la performance dans les entreprises manufacturières : de la déclaration des objectifs à la définition des systèmes d'indicateurs

This work deals with the industrial performance quantification of manufacturing companies. Such a performance is defined with regards to the achievement of an assigned objective. Performance indicators and performance measurement systems are, in the overall and multicriteria context, the methodological tools for providing the performance expressions. A performance expression framework is propos...

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...

Les maladies des animaux dues à des Clostridium welchii

La lutte contre les argaside, gale psoroptique et phtiriase des moutons par l'administration des insecticides par la vole buccale

La dose tolérée et toxique de la saponine chez les chèvres et les moutons